On the Suitability of Generalized Behavioral Profiles for Process Model Comparison
نویسندگان
چکیده
Given two process models, the problem of behavioral comparison is that of determining if these models are behaviorally equivalent (e.g., by trace equivalence) and, if not, identifying how can the differences be presented in a compact manner? Behavioral profiles have been proposed as a convenient abstraction for this problem. A behavioral profile is a matrix, where each cell encodes a behavioral relation between a pair of tasks (e.g., causality or conflict). Thus, the problem of behavioral comparison can be reduced to matrix comparison. It has been observed that while behavioral profiles can be efficiently computed, they are not accurate insofar as behaviorally different process models may map to the same behavioral profile. This paper investigates the question of how accurate existing behavioral profiles are. The paper shows that behavioral profiles are fully behavior preserving for the class of acyclic unlabeled nets with respect to configuration equivalence. However, for the general class of acyclic nets, existing behavioral profiles are exponentially inaccurate, meaning that two acyclic nets with the same behavioral profile may differ in an exponential number of configurations.
منابع مشابه
A Generalized Linear Statistical Model Approach to Monitor Profiles
Statistical process control methods for monitoring processes with univariate ormultivariate measurements are used widely when the quality variables fit to known probabilitydistributions. Some processes, however, are better characterized by a profile or a function of qualityvariables. For each profile, it is assumed that a collection of data on the response variable along withthe values of the c...
متن کاملمدلسازی مطلوبیت زیستگاه گونههای کانونی بهمنظور طرحریزی حفاظت از تنوع زیستی در منطقه جنوب شرق ایران
Habitat suitability models for the focal species are used to address the concerns related to the limited availability of data for remote habitats by scrutinizing the relationship between the biodiversity distribution patterns and the natural-anthropogenic characteristics. The current study aimed at modeling habitat suitability for seven focal species including Asian black bear, Persian leopard,...
متن کاملComparison of Tourism Placement and Development Models from Land Use Planning perspective in Zagros Forests Case Study: Javanrud County
While in recent years, due to numerous reasons, the amount of travel and tourism has increased, the amount of problems caused by this activity is also considered by managers. By using presence points of tourists in Javanrud County, Analytic hierarchy process (AHP) and Random Forest (RF) models, the conditions of establishment of tourists from the aspect of land use planning was investigated. In...
متن کاملPredicting the geographical distribution of Alopecurus textilis Boiss rangeland species on basis Consensus approach of climate change in Mazandaran province
The climate changes have an important role in distribution of plant species. Statistical species distribution models (SDMs) are widely used to predict the changes in species distribution under climate change scenarios. In the peresent study, the distribution of Alopecurus textilis in the current and future climate condition (2050) under the influence of climate change and two scenarios of RCP 4...
متن کاملPERFORMANCE MODEL AND ANALYSIS OF BLOOD FLOW IN SMALL VESSELS WITH MAGNETIC EFFECTS
In this paper consider a two-fluid model consisting of a core region of suspension of all the erythrocytes (particles) in plasma (fluid) assumed to be a particle-fluid mixture and a peripheral layer of cell-free plasma (Newtonian fluid), has been proposed to represent blood flow in small diameter tubes with effects of magnetic. The analytical results obtained in the proposed model for effective...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015